Functional Microprogramming for a Data Parallel Architecture
نویسنده
چکیده
This paper addresses the problem of using functional programming on a SIMD or data parallel architecture. Each type of operation the architecture can perform corresponds to a particular function application. Therefore it is possible to write low level data parallel algorithms directly in a functional language. This has two advantages: the low level algorithms are easier to derive, and the full power of the machine is available to the programmer. The technique is illustrated by several functional data parallel variations of the Quicksort algorithm and a related selection algorithm. Two new programming techniques are used for the algorithms: (1) a data parallel process representation and (2) array accessing through index intervals.
منابع مشابه
Two-Level Controlled Parallel Reconfigurable Architecture
After reviewing the key technologies of microprogramming, this paper focuses on the utilization of twolevel microprogramming scheme combined with multiprocessor parallelism. Based on our experience by the development of the two-level microprogrammed multiprocessor machine, called MUNAP, and the increasing importance of reconfigurable parallel architecture, we propose a new two-level controlled,...
متن کاملOdd-even, compare-exchange parallel sorting
We present a parallel sorting algorithm and its proof which sorts a sequence of n elements in time O(logz n) with n/2 processors on an EREW-PRAM computational model. A sorting network directly implements the algorithm using O(n .log n)PEs. The algorithm is based on the elementary Compare-Exchange operation and has the advantage that it does not require a powerful computational model, uses the l...
متن کاملFrom transformations to methodology in parallel program development: A case study
The Bird-Meertens formalism (BMF) of higher-order functions over lists is a mathematical framework supporting formal derivation of algorithms from functional speciications. This paper reports results of a case study on the systematic use of BMF in the process of parallel program development. We develop a parallel program for polynomial multiplication, starting with a straightforward mathematica...
متن کاملActive object oriented databases in control applications
This paper describes a unified architecture for control applications using an extended object-oriented database system with queries and rules. We specify the requirements that control applications demand on the database, and how they are met by our database system architecture. The database system, AMOS, is a main memory database that provides information sharing, powerful data access via an ob...
متن کاملThe Design of a Subprocessor with Dynamic Microprogramming with MIMOLA
MIMOLA is a language for the optimized design of digital processors, based upon computing resource utilizations for typical programs. It has been used for the design of a well-structured, fast, parallel and microprogrammable processor. Although not larger than a conventional minicomputer, it is about 26 times faster. It proves, that microcode need not be larger than equivalent machinecode. This...
متن کامل